Integrand size = 24, antiderivative size = 104 \[ \int \frac {x^2}{\left (a+b x^6\right )^2 \sqrt {c+d x^6}} \, dx=\frac {b x^3 \sqrt {c+d x^6}}{6 a (b c-a d) \left (a+b x^6\right )}+\frac {(b c-2 a d) \arctan \left (\frac {\sqrt {b c-a d} x^3}{\sqrt {a} \sqrt {c+d x^6}}\right )}{6 a^{3/2} (b c-a d)^{3/2}} \]
1/6*(-2*a*d+b*c)*arctan(x^3*(-a*d+b*c)^(1/2)/a^(1/2)/(d*x^6+c)^(1/2))/a^(3 /2)/(-a*d+b*c)^(3/2)+1/6*b*x^3*(d*x^6+c)^(1/2)/a/(-a*d+b*c)/(b*x^6+a)
Time = 1.60 (sec) , antiderivative size = 124, normalized size of antiderivative = 1.19 \[ \int \frac {x^2}{\left (a+b x^6\right )^2 \sqrt {c+d x^6}} \, dx=-\frac {b x^3 \sqrt {c+d x^6}}{6 a (-b c+a d) \left (a+b x^6\right )}+\frac {(b c-2 a d) \arctan \left (\frac {a \sqrt {d}+b \sqrt {d} x^6+b x^3 \sqrt {c+d x^6}}{\sqrt {a} \sqrt {b c-a d}}\right )}{6 a^{3/2} (b c-a d)^{3/2}} \]
-1/6*(b*x^3*Sqrt[c + d*x^6])/(a*(-(b*c) + a*d)*(a + b*x^6)) + ((b*c - 2*a* d)*ArcTan[(a*Sqrt[d] + b*Sqrt[d]*x^6 + b*x^3*Sqrt[c + d*x^6])/(Sqrt[a]*Sqr t[b*c - a*d])])/(6*a^(3/2)*(b*c - a*d)^(3/2))
Time = 0.24 (sec) , antiderivative size = 108, normalized size of antiderivative = 1.04, number of steps used = 5, number of rules used = 4, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.167, Rules used = {965, 296, 291, 218}
Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.
\(\displaystyle \int \frac {x^2}{\left (a+b x^6\right )^2 \sqrt {c+d x^6}} \, dx\) |
\(\Big \downarrow \) 965 |
\(\displaystyle \frac {1}{3} \int \frac {1}{\left (b x^6+a\right )^2 \sqrt {d x^6+c}}dx^3\) |
\(\Big \downarrow \) 296 |
\(\displaystyle \frac {1}{3} \left (\frac {(b c-2 a d) \int \frac {1}{\left (b x^6+a\right ) \sqrt {d x^6+c}}dx^3}{2 a (b c-a d)}+\frac {b x^3 \sqrt {c+d x^6}}{2 a \left (a+b x^6\right ) (b c-a d)}\right )\) |
\(\Big \downarrow \) 291 |
\(\displaystyle \frac {1}{3} \left (\frac {(b c-2 a d) \int \frac {1}{a-(a d-b c) x^6}d\frac {x^3}{\sqrt {d x^6+c}}}{2 a (b c-a d)}+\frac {b x^3 \sqrt {c+d x^6}}{2 a \left (a+b x^6\right ) (b c-a d)}\right )\) |
\(\Big \downarrow \) 218 |
\(\displaystyle \frac {1}{3} \left (\frac {(b c-2 a d) \arctan \left (\frac {x^3 \sqrt {b c-a d}}{\sqrt {a} \sqrt {c+d x^6}}\right )}{2 a^{3/2} (b c-a d)^{3/2}}+\frac {b x^3 \sqrt {c+d x^6}}{2 a \left (a+b x^6\right ) (b c-a d)}\right )\) |
((b*x^3*Sqrt[c + d*x^6])/(2*a*(b*c - a*d)*(a + b*x^6)) + ((b*c - 2*a*d)*Ar cTan[(Sqrt[b*c - a*d]*x^3)/(Sqrt[a]*Sqrt[c + d*x^6])])/(2*a^(3/2)*(b*c - a *d)^(3/2)))/3
3.9.77.3.1 Defintions of rubi rules used
Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(Rt[a/b, 2]/a)*ArcTan[x/R t[a/b, 2]], x] /; FreeQ[{a, b}, x] && PosQ[a/b]
Int[1/(Sqrt[(a_) + (b_.)*(x_)^2]*((c_) + (d_.)*(x_)^2)), x_Symbol] :> Subst [Int[1/(c - (b*c - a*d)*x^2), x], x, x/Sqrt[a + b*x^2]] /; FreeQ[{a, b, c, d}, x] && NeQ[b*c - a*d, 0]
Int[((a_) + (b_.)*(x_)^2)^(p_)*((c_) + (d_.)*(x_)^2)^(q_), x_Symbol] :> Sim p[(-b)*x*(a + b*x^2)^(p + 1)*((c + d*x^2)^(q + 1)/(2*a*(p + 1)*(b*c - a*d)) ), x] + Simp[(b*c + 2*(p + 1)*(b*c - a*d))/(2*a*(p + 1)*(b*c - a*d)) Int[ (a + b*x^2)^(p + 1)*(c + d*x^2)^q, x], x] /; FreeQ[{a, b, c, d, q}, x] && N eQ[b*c - a*d, 0] && EqQ[2*(p + q + 2) + 1, 0] && (LtQ[p, -1] || !LtQ[q, -1 ]) && NeQ[p, -1]
Int[(x_)^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_)*((c_) + (d_.)*(x_)^(n_))^(q_), x_Symbol] :> With[{k = GCD[m + 1, n]}, Simp[1/k Subst[Int[x^((m + 1)/k - 1)*(a + b*x^(n/k))^p*(c + d*x^(n/k))^q, x], x, x^k], x] /; k != 1] /; Free Q[{a, b, c, d, p, q}, x] && NeQ[b*c - a*d, 0] && IGtQ[n, 0] && IntegerQ[m]
Time = 9.44 (sec) , antiderivative size = 90, normalized size of antiderivative = 0.87
method | result | size |
pseudoelliptic | \(\frac {-\frac {\sqrt {d \,x^{6}+c}\, b \,x^{3}}{b \,x^{6}+a}+\frac {\left (2 a d -b c \right ) \operatorname {arctanh}\left (\frac {\sqrt {d \,x^{6}+c}\, a}{x^{3} \sqrt {\left (a d -b c \right ) a}}\right )}{\sqrt {\left (a d -b c \right ) a}}}{6 \left (a d -b c \right ) a}\) | \(90\) |
1/6/(a*d-b*c)/a*(-(d*x^6+c)^(1/2)*b*x^3/(b*x^6+a)+(2*a*d-b*c)/((a*d-b*c)*a )^(1/2)*arctanh((d*x^6+c)^(1/2)/x^3*a/((a*d-b*c)*a)^(1/2)))
Leaf count of result is larger than twice the leaf count of optimal. 213 vs. \(2 (88) = 176\).
Time = 0.51 (sec) , antiderivative size = 467, normalized size of antiderivative = 4.49 \[ \int \frac {x^2}{\left (a+b x^6\right )^2 \sqrt {c+d x^6}} \, dx=\left [\frac {4 \, \sqrt {d x^{6} + c} {\left (a b^{2} c - a^{2} b d\right )} x^{3} - {\left ({\left (b^{2} c - 2 \, a b d\right )} x^{6} + a b c - 2 \, a^{2} d\right )} \sqrt {-a b c + a^{2} d} \log \left (\frac {{\left (b^{2} c^{2} - 8 \, a b c d + 8 \, a^{2} d^{2}\right )} x^{12} - 2 \, {\left (3 \, a b c^{2} - 4 \, a^{2} c d\right )} x^{6} + a^{2} c^{2} - 4 \, {\left ({\left (b c - 2 \, a d\right )} x^{9} - a c x^{3}\right )} \sqrt {d x^{6} + c} \sqrt {-a b c + a^{2} d}}{b^{2} x^{12} + 2 \, a b x^{6} + a^{2}}\right )}{24 \, {\left (a^{3} b^{2} c^{2} - 2 \, a^{4} b c d + a^{5} d^{2} + {\left (a^{2} b^{3} c^{2} - 2 \, a^{3} b^{2} c d + a^{4} b d^{2}\right )} x^{6}\right )}}, \frac {2 \, \sqrt {d x^{6} + c} {\left (a b^{2} c - a^{2} b d\right )} x^{3} + {\left ({\left (b^{2} c - 2 \, a b d\right )} x^{6} + a b c - 2 \, a^{2} d\right )} \sqrt {a b c - a^{2} d} \arctan \left (\frac {{\left ({\left (b c - 2 \, a d\right )} x^{6} - a c\right )} \sqrt {d x^{6} + c} \sqrt {a b c - a^{2} d}}{2 \, {\left ({\left (a b c d - a^{2} d^{2}\right )} x^{9} + {\left (a b c^{2} - a^{2} c d\right )} x^{3}\right )}}\right )}{12 \, {\left (a^{3} b^{2} c^{2} - 2 \, a^{4} b c d + a^{5} d^{2} + {\left (a^{2} b^{3} c^{2} - 2 \, a^{3} b^{2} c d + a^{4} b d^{2}\right )} x^{6}\right )}}\right ] \]
[1/24*(4*sqrt(d*x^6 + c)*(a*b^2*c - a^2*b*d)*x^3 - ((b^2*c - 2*a*b*d)*x^6 + a*b*c - 2*a^2*d)*sqrt(-a*b*c + a^2*d)*log(((b^2*c^2 - 8*a*b*c*d + 8*a^2* d^2)*x^12 - 2*(3*a*b*c^2 - 4*a^2*c*d)*x^6 + a^2*c^2 - 4*((b*c - 2*a*d)*x^9 - a*c*x^3)*sqrt(d*x^6 + c)*sqrt(-a*b*c + a^2*d))/(b^2*x^12 + 2*a*b*x^6 + a^2)))/(a^3*b^2*c^2 - 2*a^4*b*c*d + a^5*d^2 + (a^2*b^3*c^2 - 2*a^3*b^2*c*d + a^4*b*d^2)*x^6), 1/12*(2*sqrt(d*x^6 + c)*(a*b^2*c - a^2*b*d)*x^3 + ((b^ 2*c - 2*a*b*d)*x^6 + a*b*c - 2*a^2*d)*sqrt(a*b*c - a^2*d)*arctan(1/2*((b*c - 2*a*d)*x^6 - a*c)*sqrt(d*x^6 + c)*sqrt(a*b*c - a^2*d)/((a*b*c*d - a^2*d ^2)*x^9 + (a*b*c^2 - a^2*c*d)*x^3)))/(a^3*b^2*c^2 - 2*a^4*b*c*d + a^5*d^2 + (a^2*b^3*c^2 - 2*a^3*b^2*c*d + a^4*b*d^2)*x^6)]
\[ \int \frac {x^2}{\left (a+b x^6\right )^2 \sqrt {c+d x^6}} \, dx=\int \frac {x^{2}}{\left (a + b x^{6}\right )^{2} \sqrt {c + d x^{6}}}\, dx \]
\[ \int \frac {x^2}{\left (a+b x^6\right )^2 \sqrt {c+d x^6}} \, dx=\int { \frac {x^{2}}{{\left (b x^{6} + a\right )}^{2} \sqrt {d x^{6} + c}} \,d x } \]
Leaf count of result is larger than twice the leaf count of optimal. 237 vs. \(2 (88) = 176\).
Time = 0.28 (sec) , antiderivative size = 237, normalized size of antiderivative = 2.28 \[ \int \frac {x^2}{\left (a+b x^6\right )^2 \sqrt {c+d x^6}} \, dx=-\frac {1}{6} \, d^{\frac {3}{2}} {\left (\frac {{\left (b c - 2 \, a d\right )} \arctan \left (\frac {{\left (\sqrt {d} x^{3} - \sqrt {d x^{6} + c}\right )}^{2} b - b c + 2 \, a d}{2 \, \sqrt {a b c d - a^{2} d^{2}}}\right )}{{\left (a b c d - a^{2} d^{2}\right )}^{\frac {3}{2}}} + \frac {2 \, {\left ({\left (\sqrt {d} x^{3} - \sqrt {d x^{6} + c}\right )}^{2} b c - 2 \, {\left (\sqrt {d} x^{3} - \sqrt {d x^{6} + c}\right )}^{2} a d - b c^{2}\right )}}{{\left ({\left (\sqrt {d} x^{3} - \sqrt {d x^{6} + c}\right )}^{4} b - 2 \, {\left (\sqrt {d} x^{3} - \sqrt {d x^{6} + c}\right )}^{2} b c + 4 \, {\left (\sqrt {d} x^{3} - \sqrt {d x^{6} + c}\right )}^{2} a d + b c^{2}\right )} {\left (a b c d - a^{2} d^{2}\right )}}\right )} \]
-1/6*d^(3/2)*((b*c - 2*a*d)*arctan(1/2*((sqrt(d)*x^3 - sqrt(d*x^6 + c))^2* b - b*c + 2*a*d)/sqrt(a*b*c*d - a^2*d^2))/(a*b*c*d - a^2*d^2)^(3/2) + 2*(( sqrt(d)*x^3 - sqrt(d*x^6 + c))^2*b*c - 2*(sqrt(d)*x^3 - sqrt(d*x^6 + c))^2 *a*d - b*c^2)/(((sqrt(d)*x^3 - sqrt(d*x^6 + c))^4*b - 2*(sqrt(d)*x^3 - sqr t(d*x^6 + c))^2*b*c + 4*(sqrt(d)*x^3 - sqrt(d*x^6 + c))^2*a*d + b*c^2)*(a* b*c*d - a^2*d^2)))
Timed out. \[ \int \frac {x^2}{\left (a+b x^6\right )^2 \sqrt {c+d x^6}} \, dx=\int \frac {x^2}{{\left (b\,x^6+a\right )}^2\,\sqrt {d\,x^6+c}} \,d x \]